主题：Formal Engineering Methods for Software Quality Assurance
主讲人：日本著名计算机专家，日本法政大学刘少英教授
时间：8月30日（周五）上午10:00
地点：工学院学术交流室

请工学院研究生和相关老师参加，欢迎其他有兴趣的师生参加！

 

摘要及主讲人简介.doc